Перевод: с английского на русский

с русского на английский

полнота модели

См. также в других словарях:

  • полнота — ы; ж. 1. Наличие чего л. в достаточной степени, высшая степень проявления чего л., насыщенности чем л. П. власти, ответственности, прав. П. жизни, счастья, чувств, сил. П. ответа, текста, коллекции, исследования. Обнаружить исчерпывающую полноту… …   Энциклопедический словарь

  • полнота логических исчислений —         ПОЛНОТА ЛОГИЧЕСКИХ ИСЧИСЛЕНИЙ выводимость в исчислении (логической системе) всех утверждений (предложений, формуЛит.п.), обладающих некоторым подразумеваемым для этого исчисления свойством. Напр., П. классического исчисления высказываний… …   Энциклопедия эпистемологии и философии науки

  • ПОЛНОТА ДЕДУКТИВНАЯ — свойство формальной системы (исчисления), характеризующее достаточность его дедуктивных средств с т. зр. нек рых фиксированных критериев (содержательных или формальных). В зависимости от характера выбранного критерия приходят к той или иной… …   Философская энциклопедия

  • ПОЛНОТА — в логике и математике достаточность выразительных или дедуктивных средств какой либо научной теории или исчисления для описания (характеристики, предсказания, вывода) всех реальных свойств и отношений предполагаемой модели этой теории или… …   Большой Энциклопедический словарь

  • ПОЛНОТА — в математической логике свойство, близкое к понятию максимального элемента в частично упорядоченном множестве. Термин П. в математич. логике употребляется в контекстах вида: полное исчисление, полная теория (или полное множество аксиом), w полная …   Математическая энциклопедия

  • ПОЛНОТА — (логич. и матем.), достаточность выразит. или дедуктивных средств к. л. науч. теории или исчисления для описания (характеристики, предсказания, вывода) всех реальных свойств и отношении предполагаемой модели этой теории или исчисления …   Естествознание. Энциклопедический словарь

  • ОМЕГА-ПОЛНОТА — свойство формальных арифметич. систем, состоящее в том, что для всякой формулы (х).из выводимости формул , , . . . ..., , . . . следует выводимость формулы , где константа, обозначающая натуральное число пили 0. В противном случае система наз.… …   Математическая энциклопедия

  • БОГ — [греч. θεός; лат. deus; слав. родствен древнеинд. господин, раздаятель, наделяет, делит, древнеперсид. господин, название божества; одно из производных общеслав. богатый]. Понятие о Боге неразрывно связано с понятием Откровения. Предметом… …   Православная энциклопедия

  • Экономическая информационная система — (ЭИС) представляет собой совокупность организационных, технических, программных и информационных средств, объединённых в единую систему с целью сбора, хранения, обработки и выдачи необходимой информации, предназначенной для выполнения функций… …   Википедия

  • ЭИС — Экономическая информационная система (ЭИС) представляет собой совокупность организационных, технических, программных и информационных средств, объединенных в единую систему с целью сбора, хранения, обработки и выдачи необходимой информации,… …   Википедия

  • ГОСТ Р 52438-2005: Географические информационные системы. Термины и определения — Терминология ГОСТ Р 52438 2005: Географические информационные системы. Термины и определения оригинал документа: 57 (топологический) оверлей: Наложение двух или более полигональных объектов, в результате которого образуется новый слой, состоящий… …   Словарь-справочник терминов нормативно-технической документации

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»